$f$$\ast\ast$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if eqof(${\it eq}$)($x$,$f$($x$)) then $x$ else $f$$\ast\ast$($f$($x$)) fi 
\\[0ex]
\\[0ex]{\em clarification:}
\\[0ex]
\\[0ex]fix(${\it eq}$;$f$;$x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if eqof(${\it eq}$)($x$,$f$($x$)) then $x$ else fix(${\it eq}$;$f$;$f$($x$)) fi 
\\[0ex]\emph{(recursive)}